fontSize = 16px
@themeColor=#e6e7e4

.theme-container
  font-size: fontSize
  color: #222222
  font-family: 'Times New Roman', 'FangSong' !important
elementStyle =
  font-family:  'Times New Roman', 'FangSong' !important
  font-size: 20px
  color: red
html, body
  padding: 0
  margin: 0
  font-size fontSize
.el-menu, .el-menu-item, .el-submenu, .el-submenu__title
  {elementStyle}
.focused
  border-color: #5f5f5f !important